More from this Author

Automated Technology for Verification and Analysis

by Sungdeok Cha (Editor), Jin Young Choi (Editor), Moonzoo Kim (Editor), Mahesh Viswanathan (Editor)

Formal Techniques for Distributed Objects, Components, and Systems

by Susanne Graf (Editor), Mahesh Viswanathan (Editor)